mean value theorem with ln function